Lambda point - PDFSEARCH.IO - Document Search Engine

Lambda point
Results: 124

#	Item
111	EUROPEAN ORGANIZATION FOR NUCLEAR RESEARCH CERN – ACCELERATORS AND TECHNOLOGY SECTOR Add to Reading List Source URL: cds.cern.ch Language: English - Date: 2013-01-24 04:56:42 Thermodynamics Physics Containers Large Hadron Collider Liquid helium Storage tank Orders of magnitude Lambda point refrigerator Cryostat Cryogenics Helium Matter
112	Productive Coprogramming with Guarded Recursion Robert Atkey Add to Reading List Source URL: bentnib.org Language: English - Date: 2013-07-17 15:22:25 Lambda calculus Predicate logic Symbol Fixed-point combinator Model theory Quantification Function Combinatory logic Type system Mathematical logic Mathematics Logic
113	The Evolution of Language 2x Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2009-05-24 10:54:04 Software engineering Metaphysicians Rationalists René Descartes 2X Lambda Combinatory logic Fixed-point combinator Lambda calculus Theoretical computer science Philosophy
114	A short introduction to the Lambda Calculus Achim Jung∗ March 18, 2004 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-05-11 14:13:42 Mathematical logic Combinatory logic Fixed-point combinator Simply typed lambda calculus Programming Computable Functions Free variables and bound variables Function Parameter Spectral theory of ordinary differential equations Mathematics Theoretical computer science Lambda calculus
115	PDF Document Add to Reading List Source URL: ttic.uchicago.edu Language: English - Date: 2008-02-12 16:30:43 Applied mathematics Type theory Logic in computer science Theory of computation Proof theory Combinatory logic Curry–Howard correspondence Fixed-point combinator Type safety Theoretical computer science Lambda calculus Computer science
116	PDF Document Add to Reading List Source URL: groups.physics.umn.edu Language: English - Date: 2008-04-20 10:21:03 Thermodynamics Helium Phases of matter Phase transitions Heliox Cryostat Lambda point refrigerator Liquid helium Superconductivity Physics Matter Cryogenics
117	PDF Document Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2006-06-26 16:40:00 Mathematical logic Combinatory logic Church encoding SKI combinator calculus Function Calculus Currying Fixed-point combinator Lambda calculus Theoretical computer science Mathematics
118	PDF Document Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2003-09-29 12:38:13 Lambda calculus Recursion Computability theory Theoretical computer science Subroutines Joy Fixed-point combinator Combinatory logic Forth Software engineering Computer programming Computing
119	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-02-23 19:27:20 Lambda calculus Theory of computation Computability theory Recursion Combinatory logic Fixed-point combinator Recursively enumerable set Computability Fixed point Theoretical computer science Computer science Applied mathematics
120	PDF Document Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2005-11-16 08:41:24 Curry–Howard correspondence Dependently typed programming Logic in computer science Philosophy of computer science Proof theory Type theory Visitor pattern Fixed-point combinator Lambda calculus Theoretical computer science Computer science Mathematics

UPDATE